Making the Unobservable, Unobservable
نویسندگان
چکیده
Behavioural equivalences of various calculi for modelling distributed systems differ significantly because the properties which can be observed through interaction depend heavily upon their mode of communication. A typical approach to describing the semantics of communicating processes is to provide a labelled transition system (lts) which captures the interaction potential of the individual processes within a larger system. In many cases, a natural rendering of this lts leads to too fine a semantics as unobservability of certain communications is not accounted for. We propose that a standard approach to augmenting ltss allows morally unobservable communications to actually be modelled as unobservables in the semantics. This approach derives from a rule initially given by Honda and Tokoro to account for unobservability of reception in the asynchronous π-calculus. We examine the implications of adding such rules to lts with respect to the proving behavioural equivalences for various synchronisation mechanisms.
منابع مشابه
Quantile Regression Analysis of the Rational Addiction Model: Making unobservable heterogeneity observable
متن کامل
Brand Reputation, Warranty, and Product Quality
When product quality is unobservable to consumers, a manufacturer can convey the quality information using signals such as warranty and brand reputation. The purpose of this paper is to study the interactions between warranty, brand reputation, and product quality, and to examine the quality signaling strategies. We model a monopolist who tries to convey unobservable product quality to heteroge...
متن کاملSaving Unobservable Phenomena
In this paper I argue—against van Fraassen’s constructive empiricism—that the practice of saving phenomena is much broader than usually thought, and includes unobservable phenomena as well as observable ones. My argument turns on the distinction between data and phenomena: I discuss how unobservable phenomena manifest themselves in data models and how theoretical models able to save them are ch...
متن کاملSupervisory Control of Petri Nets with Uncontrollable/unobservable Transitions Interdisciplinary Studies of Intelligent Systems Supervisory Control of Petri Nets with Uncontrollable/unobservable Transitions
This paper expands upon results of previous research dealing with the supervisory control of Petri net modeled discrete event systems that contain uncontrollable transitions. The concept of unobservable plant transitions is introduced here and incorporated into the controller design procedure. New conditions are developed which govern the existence of controllers for these problems. Two procedu...
متن کاملPhasor Measurement Unit Selection for Unobservable Smart Grid Data Integrity Attack Detection
Electric power system operators make critical decisions based on remote measurements. If those measurements are compromised, it is possible to make decisions that could lead to critical consequences. Of particular concern are unobservable attacks in which compromised measurements are not flagged as erroneous by bad data detection algorithms. The use of secure measurement devices, such as PMUs, ...
متن کاملQuantum coherence in the presence of unobservable quantities
State representations summarize our knowledge about a system. When unobservable quantities are introduced the state representation is typically no longer unique. However, this nonuniqueness does not affect subsequent inferences based on any observable data. We demonstrate that the inference-free subspace may be extracted whenever the quantity’s unobservability is guaranteed by a global conserva...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 229 شماره
صفحات -
تاریخ انتشار 2009